.. SPDX-License-Identifier: GPL-2.0 or GPL-3.0
.. Copyright © 2019 Ariadne Devos

s² -- the speculatively secure web server
==========================================

Contents
--------

.. toctree::
   :maxdepth: 2

   people/index.rst
   computation-model/index.rst
   program-proofs/index.rst
   structures/index.rst
   parsers/index.rst

TODO: source code modules

Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`

